GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
Building a Production-Ready E-Commerce Platform with NestJS
dev.toยท2hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
๐ŸงฎCombinator Calculus
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
An enough week
blog.mitrichev.chยท23hยท
๐ŸŒฒDeforestation
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.comยท3hยท
Discuss: r/rust
โšกPartial Evaluation
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.comยท1d
โœจEffect Inference
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.netยท1d
โšกIncremental Parsing
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Toy Binary Decision Diagrams
philipzucker.comยท4d
โœ…Type Checking
Effective C++ โ€“ Hour 10
jtag.bearblog.devยท1d
๐ŸงธToy Compilers